Impulsivity as a mediator in the relationship between depression and problem gamblingCLARKE, Dave.Personality and individual differences. 2006, Vol 40, Num 1, pp 5-15, issn 0191-8869, 11 p.Article

Reasoning about connector reconfiguration I: Equivalence of constructionsCLARKE, Dave.Report - Software engineering. 2005, Num 06, pp 1-14, issn 1386-369X, 14 p.Article

Impulsiveness, locus of control, motivation and problem gamblingCLARKE, Dave.Journal of gambling studies. 2004, Vol 20, Num 4, pp 319-345, issn 1050-5350, 27 p.Article

The mediating effects of coping strategies in the relationship between automatic negative thoughts and depression in a clinical sample of diabetes patientsCLARKE, Dave; GOOSEN, Tanya.Personality and individual differences. 2009, Vol 46, Num 4, pp 460-464, issn 0191-8869, 5 p.Article

A correspondence between type checking via reduction and type checking via evaluationSERGEY, Ilya; CLARKE, Dave.Information processing letters. 2012, Vol 112, Num 1-2, pp 13-20, issn 0020-0190, 8 p.Article

UUXML: A type-preserving XML schema-Haskell data bindingATANASSOW, Frank; CLARKE, Dave; JEURING, Johan et al.Lecture notes in computer science. 2004, pp 71-85, issn 0302-9743, isbn 3-540-22253-7, 15 p.Conference Paper

Types for hierarchic shapes (Summary)DROSSOPOULOU, Sophia; CLARKE, Dave; NOBLE, James et al.Lecture notes in computer science. 2006, pp 1-6, issn 0302-9743, isbn 3-540-33095-X, 1Vol, 6 p.Conference Paper

Modelling coordination in biological systemsCLARKE, Dave; COSTA, David; ARBAB, Farhad et al.Report - Software engineering. 2004, Num 15, pp 1-14, issn 1386-369X, 14 p.Article

Saving the world from bad beans: Deployment-time confinement checkingCLARKE, Dave; RICHMOND, Michael; NOBLE, James et al.ACM SIGPLAN notices. 2003, Vol 38, Num 11, pp 374-387, issn 1523-2867, 14 p.Conference Paper

Abstract Delta ModelingCLARKE, Dave; HELVENSTEIJN, Michiel; SCHAEFER, Ina et al.ACM SIGPLAN notices. 2011, Vol 46, Num 2, pp 13-22, issn 1523-2867, 10 p.Conference Paper

Application of a Multidisciplinary Model to a Case Example of Presurgical Epilepsy PlanningNUSSBAUM, Nancy L; POTVIN, Deborah C; CLARKE, Dave F et al.Neuropsychology, development, and cognition. Section D, The clinical neuropsychologist. 2014, Vol 28, Num 8, pp 1321-1335, issn 1385-4046, 15 p.Article

Modelling coordination in biological systemsCLARKE, Dave; COSTA, David; ARBAB, Farhad et al.Lecture notes in computer science. 2006, pp 9-25, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 17 p.Conference Paper

Generic ownership for generic JavaPOTANIN, Alex; NOBLE, James; CLARKE, Dave et al.ACM SIGPLAN notices. 2006, Vol 41, Num 10, pp 311-324, issn 1523-2867, 14 p.Conference Paper

Ownership, encapsulation and the disjointness of type and effectCLARKE, Dave; DROSSOPOULOU, Sophia.ACM SIGPLAN notices. 2002, Vol 37, Num 11, pp 292-310, issn 1523-2867, 19 p.Conference Paper

First detection of paralytic shellfish poisoning (PSP) toxins in Icelandic mussels (Mytilus edulis): Links to causative phytoplankton speciesBURRELL, Stephen; GUNNARSSON, Thor; GUNNARSSON, Karl et al.Food control. 2013, Vol 31, Num 2, pp 295-301, issn 0956-7135, 7 p.Article

Controlling object allocation using creation guardsPIERIK, Cees; CLARKE, Dave; DE BOER, Frank S et al.Lecture notes in computer science. 2005, pp 59-74, issn 0302-9743, isbn 3-540-27882-6, 16 p.Conference Paper

Aliasing, confinement, and ownership in object-oriented programmingCLARKE, Dave; DROSSOPOULOU, Sophia; NOBLE, James et al.Lecture notes in computer science. 2004, pp 197-207, issn 0302-9743, isbn 3-540-22405-X, 11 p.Conference Paper

The prevalence of autistic spectrum disorder in children surveyed in a tertiary care epilepsy clinicCLARKE, Dave F; ROBERTS, Wendy; DARAKSAN, Mina et al.Epilepsia (Copenhagen). 2005, Vol 46, Num 12, pp 1970-1977, issn 0013-9580, 8 p.Article

Passive language mapping with magnetoencephalography in pediatric patients with epilepsy: Clinical articleVAN POPPEL, Mark; WHELESS, James W; CLARKE, Dave F et al.Journal of neurosurgery. Pediatrics. 2012, Vol 10, Num 2, pp 96-102, issn 1933-0707, 7 p.Article